Applying MDE tools to defining domain specific languages for model management

In the model driven engineering (MDE), modeling languages play a central role. They range from the most generic languages such as UML, to more individual ones, called domain-specific modeling languages (DSML). These languages are used to create and manage models and must accompany them throughout their life cycle and evolution. In this paper we propose a domain-specific language for model management, to facilitate the user's task, developed with techniques and tools used in the MDE paradigm.Fil: Pérez, Gabriela. Universidad Nacional de la Plata. Facultad de Informática. Laboratorio de Investigación y Formación en Informática Avanzada; ArgentinaFil: Irazábal, Jerónimo. Universidad Nacional de la Plata. Facultad de Informática. Laboratorio de Investigación y Formación en Informática Avanzada; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Pons, Claudia Fabiana. Universidad Nacional de la Plata. Facultad de Informática. Laboratorio de Investigación y Formación en Informática Avanzada; Argentina. Provincia de Buenos Aires. Gobernación. Comisión de Investigaciones Científicas; ArgentinaFil: Giandini, Roxana Silvia. Universidad Nacional de la Plata. Facultad de Informática. Laboratorio de Investigación y Formación en Informática Avanzada; Argentin

Computabilidad, complejidad computacional y verificación de programas

Computabilidad, Complejidad Computacional y Verificación de Programas contiene las quince clases que conforman la asignatura Teoría de la Computación y Verificación de Programas, una introducción a la teoría de la computabilidad y complejidad computacional de problemas y la teoría de correctitud de programas, que dicto en la Licenciatura en Informática de la Facultad de Informática de la Universidad Nacional de La Plata desde hace varios años. El libro es una suerte de segunda edición reducida de Teoría de la Computación y Verificación de Programas, de los mismos autores, editado en 2010 por la EDULP conjuntamente con McGraw-Hill, el cual incluye además de las clases de la asignatura básica, las de Teoría de la Computación y Verificación de Programas Avanzada, asignatura que también dicto en la misma carrera desde hace tiempo. El nuevo trabajo excluye principalmente la complejidad espacial, la verificación de los programas no determinísticos y concurrentes, el empleo de la lógica temporal para verificar los programas reactivos, y la semántica denotacional de los lenguajes de programación, tópicos tratados en la obra anterior. De todos modos, en la presente publicación hay secciones, breves, dedicadas a la jerarquía espacial, la terminación con hipótesis de fairnes de los programas no determinísticos, y la verificación de los programas concurrentes con memoria compartida, desarrolladas de la manera en que dichos temas son referenciados en la asignatura básica.Facultad de Informátic

Applying MDE tools to defining domain specific languages for model management

In the model driven engineering (MDE), modeling languages play a central role. They range from the most generic languages such as UML, to more individual ones, called domain-specific modeling languages (DSML). These languages are used to create and manage models and must accompany them throughout their life cycle and evolution. In this paper we propose a domain-specific language for model management, to facilitate the user's task, developed with techniques and tools used in the MDE paradigm.Laboratorio de Investigación y Formación en Informática Avanzad

Model transformation as a mechanism for the implementation of domain specific transformation languages

Model Driven Engineering proposes a software development process in which the key notions are models and model transformations. There are already several proposals for model transformation specification, implementation, and execution. In this paper we introduce the notion of domain specific transformation language (DSTL). A DSTL is a transformation language tailored for a specific domain; in contrast to well known transformation languages, such as QVT or ATL, the DSTL's syntax and semantics are directly related to a specific domain and/or kind of transformation. A DSTL makes transformations easer to write and understand, the code is intuitive and the users do not need to know a generic transformation language. Also we analyze a novel way to define its semantics. Our proposal consists in using transformation languages themselves to the implementation of such domain specific languages. We illustrate the proposal through an example in the database domain.Sociedad Argentina de Informática e Investigación Operativ

El modelo relacional en el marco de transformación de modelos

La transformación de modelos consiste en obtener un nuevo modelo mediante la transformación de un modelo existente. En dicho contexto, los modelos son elementos de primer orden, apareciendo entonces, la noción de metamodelos y transformaciones. Una definición de transformación es un conjunto de reglas de transformación que juntas describen como un modelo en el lenguaje fuente puede ser transformado en un modelo en el lenguaje destino. Para simplificar la tarea de codificar transformaciones se han desarrollado lenguajes de más alto nivel (o específicos del dominio de las transformaciones) para tal fin, tales como ATL y QVT. Estas transformaciones trabajan en la capa M1 de la arquitectura de 4 capas de metamodelado de la OMG, es decir, solo los modelos sin tener en cuenta sus instancias. Las motivaciones del presente trabajo consisten en poder transformar modelos que contengan instancias y realizar transformaciones simultáneamente sobre varios modelos. Es decir, pretendemos ampliar la noción de transformación para incluir sincronizadamente al nivel M0. El considerar las instancias existentes en el modelo, hace posible usar las herramientas de transformación de modelos sobre modelos que se encuentren siendo utilizados, y la posibilidad de trabajar con más de un modelo en forma simultánea permite modularizar soluciones. Pretendemos investigar y dar un esquema de resolución para transformar más de un modelo de manera simultánea, teniendo en consideración varios niveles (M1 y M0). En este contexto, deberemos analizar la aplicabilidad de los lenguajes de transformación existentes, tales como ATL y eventualmente proponer extensiones sobre dichos lenguajes.Facultad de Informátic

Aplicando herramientas MDE en la definición de un lenguaje especifico de dominio para la gestión de modelos

En la ingeniería de desarrollo de software dirigida por modelos (MDE), los lenguajes de modelado juegan un rol central. Abarcan desde los más genéricos como UML, hasta los más particulares, llamados específicos del dominio (DMSL). Estos lenguajes serán utilizados para crear modelos y debe acompañarlos a lo largo de su ciclo de vida y su evolución. En este trabajo proponemos un lenguaje específico de dominio para la gestión de modelos, que facilite la tarea del usuario, desarrollado con técnicas y herramientas usadas en el paradigma MDE.Sociedad Argentina de Informática e Investigación Operativ